Circuit complexity - PDFSEARCH.IO - Document Search Engine

Circuit complexity
Results: 364

#	Item
51	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Computational complexity theory Theoretical computer science Theory of computation Logic in computer science Formal methods Boolean algebra Complexity classes Electronic design automation Satisfiability modulo theories True quantified Boolean formula FO NC
52	Metropolis-Hastings sampling of alternatives for route choice models Michel Bierlaire Gunnar Flötteröd STRC 2010 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-09-27 11:13:13 Circuit complexity NC
53	Background Small-depth circuits Formula size Final words Some results in Circuit Complexity Add to Reading List Source URL: conference.itcs.tsinghua.edu.cn Language: English - Date: 2010-09-12 20:05:54
54	On Cobham’s theorem for Gaussian integers Wieb Bosma∗, Robbert Fokkink, and Thijmen Krebs † June 2014 Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2014-10-29 10:35:56 Transcendental numbers Circuit complexity NC Closed and exact differential forms Constructible universe Ordinal number Ordinal arithmetic Ostrowski numeration
55	On the Complexity of Circuit Satisfiability (Extended Abstract) Ramamohan Paturi ∗ Pavel Pudlák† Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-30 23:02:20
56	How to Catch L2 -Heavy-Hitters on Sliding Windows Vladimir Braverman1, Ran Gelles2 , and Rafail Ostrovsky3 1 Department of Computer Science, Johns Hopkins University, . Department of Computer Science, Univ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-04-18 06:23:09 Theory of computation Circuit complexity NC Best worst and average case Ogonek Theoretical computer science
57	On Symmetric Circuits and FPC Anuj Dawar University of Cambridge Computer Laboratory joint work with Matthew Anderson Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:59 Complexity classes Theory of computation Theoretical computer science Circuit complexity Computational complexity theory Computer science Boolean circuit Logic in computer science NC P Circuit FO
58	Offline file assignments for online load balancing Add to Reading List Source URL: paulduetting.com Language: English - Date: 2012-10-30 16:27:02 Circuit complexity NC Net IP Constructible universe Mathematics Creativity
59	Algebra Meets Logic: The Case of Regular Languages (With Applications to Circuit Complexity) ´ Denis Therien McGill University Add to Reading List Source URL: www.cis.syr.edu Language: English - Date: 2005-07-06 15:19:08
60	RevCalcDisc_MGnewuch_et_al.dvi Add to Reading List Source URL: www.numerik.uni-kiel.de Language: English - Date: 2008-10-15 10:46:12 Complexity classes Circuit complexity NC NP Gap reduction MAX-3SAT